การระดมทุน วันที่ 15 กันยายน 2024 – วันที่ 1 ตุลาคม 2024 เกี่ยวกับการระดมทุน
1
Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

ปี:
2007
ภาษา:
english
ไฟล์:
PDF, 1.86 MB
0 / 5.0
english, 2007
4
Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification

ปี:
2007
ภาษา:
english
ไฟล์:
PDF, 1.97 MB
0 / 0
english, 2007
6
Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

ปี:
2007
ภาษา:
english
ไฟล์:
PDF, 1.92 MB
0 / 0
english, 2007
8
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

ปี:
2017
ภาษา:
english
ไฟล์:
PDF, 22.98 MB
0 / 0
english, 2017